parallel reduction A form of applicative order reduction in which all redexes in an expression are reduced simultaneously. Variants include {parallel outermost reduction} and {lenient reduction}. See normal order reduction.
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.